8cc10b5cb1dd413669a0a0f3fd1d739dffc7df05,source_gen/jetbrains/mps/bootstrap/smodelLanguage/helgins/typeof_Node_InsertNextSiblingOperation_InferenceRule.java,typeof_Node_InsertNextSiblingOperation_InferenceRule,applyRule,#SNode#,21

Before Change



  public void applyRule(SNode argument) {
    RulesFunctions.fun_check_isAppliedTo_Node(argument);
    if(!((SLinkOperations.getTarget(argument, "parameter", true) == null))) {
      TypeChecker.getInstance().getRuntimeSupport().check(SLinkOperations.getTarget(argument, "parameter", true));
      if(!(!((TypeChecker.getInstance().getRuntimeSupport().typeOf(SLinkOperations.getTarget(argument, "parameter", true)) == null)))) {
        TypeChecker.getInstance().reportTypeError(SLinkOperations.getTarget(argument, "parameter", true), "no type");
      }
      if(!(TypeChecker.getInstance().getSubtypingManager().isSubtype(TypeChecker.getInstance().getRuntimeSupport().typeOf(SLinkOperations.getTarget(argument, "parameter", true)), new QuotationClass_25().createNode()))) {
        TypeChecker.getInstance().reportTypeError(SLinkOperations.getTarget(argument, "parameter", true), "incompatible type: snode expected");
      }
    }
  }

After Change



  public void applyRule(SNode argument) {
    RulesUtil.checkAppliedCorrectly_generic(argument);
    SNode parameter = SLinkOperations.getTarget(argument, "parameter", true);
    if(!((parameter == null))) {
      TypeChecker.getInstance().getRuntimeSupport().check(parameter);
      if(!(!((TypeChecker.getInstance().getRuntimeSupport().typeOf(parameter) == null)))) {
        TypeChecker.getInstance().reportTypeError(parameter, "no type");